搜索包含 Programming (Numerical Software) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

	Introduction to Programming Concepts with Case Studies in Python [electronic resource] 0 索取号：作者：脺莽oluk、 G枚kt眉rk.、Kalkan、 Sinan.、SpringerLink (Online service)、出版社：Vienna : Springer Vienna : Imprint: Springer, 2012.		Numerical Modeling of Concrete Cracking [electronic resource] 0 索取号：作者：Hofstetter、 G眉nter.、Meschke、 G眉nther.、SpringerLink (Online service)、出版社：Vienna : Springer Vienna, 2011.
	Numerical and Symbolic Scientific Computing [electronic resource] : Progress and Prospects 0 索取号：作者：Langer、 Ulrich.、Paule、 Peter.、SpringerLink (Online service)、出版社：Vienna : Springer Vienna : Imprint: Springer, 2012.		SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation 0 索取号：作者：Molter、 H. Gregor.、SpringerLink (Online service)、出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.
	Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures 0 索取号：作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers 0 索取号：作者：Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers 0 索取号：作者：Palmirani、 Monica.、Pagallo、 Ugo.、Casanovas、 Pompeu.、Sartor、 Giovanni.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Transactions on Aspect-Oriented Software Development IX [electronic resource] 0 索取号：作者：Leavens、 Gary T.、Chiba、 Shigeru.、Haupt、 Michael.、Ostermann、 Klaus.、Wohlstadter、 Eric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity [electronic resource] : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Ramos、 Carlos.、Kim、 Haeng-kon.、Kiumi、 Akingbehin.、Mohammed、 Sabah.、艢l臋zak、 Dominik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings 0 索取号：作者：Jhala、 Ranjit.、Igarashi、 Atsushi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings 0 索取号：作者：Nielsen、 Brian.、Weise、 Carsten.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings 0 索取号：作者：Winckler、 Marco.、Forbrig、 Peter.、Bernhaupt、 Regina.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings 0 索取号：作者：Noda、 Itsuki.、Ando、 Noriaki.、Brugali、 Davide.、Kuffner、 James J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings 0 索取号：作者：Aoki、 Toshiaki.、Taguchi、 Kenji.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers 0 索取号：作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Fast Software Encryption [electronic resource] : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers 0 索取号：作者：Canteaut、 Anne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

	Introduction to Programming Concepts with Case Studies in Python [electronic resource] 0 索取号：作者：脺莽oluk、 G枚kt眉rk.、Kalkan、 Sinan.、SpringerLink (Online service)、出版社：Vienna : Springer Vienna : Imprint: Springer, 2012.		Numerical Modeling of Concrete Cracking [electronic resource] 0 索取号：作者：Hofstetter、 G眉nter.、Meschke、 G眉nther.、SpringerLink (Online service)、出版社：Vienna : Springer Vienna, 2011.
	Numerical and Symbolic Scientific Computing [electronic resource] : Progress and Prospects 0 索取号：作者：Langer、 Ulrich.、Paule、 Peter.、SpringerLink (Online service)、出版社：Vienna : Springer Vienna : Imprint: Springer, 2012.		SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation 0 索取号：作者：Molter、 H. Gregor.、SpringerLink (Online service)、出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.
	Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures 0 索取号：作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers 0 索取号：作者：Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers 0 索取号：作者：Palmirani、 Monica.、Pagallo、 Ugo.、Casanovas、 Pompeu.、Sartor、 Giovanni.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Transactions on Aspect-Oriented Software Development IX [electronic resource] 0 索取号：作者：Leavens、 Gary T.、Chiba、 Shigeru.、Haupt、 Michael.、Ostermann、 Klaus.、Wohlstadter、 Eric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity [electronic resource] : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Ramos、 Carlos.、Kim、 Haeng-kon.、Kiumi、 Akingbehin.、Mohammed、 Sabah.、艢l臋zak、 Dominik.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings 0 索取号：作者：Jhala、 Ranjit.、Igarashi、 Atsushi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings 0 索取号：作者：Nielsen、 Brian.、Weise、 Carsten.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings 0 索取号：作者：Winckler、 Marco.、Forbrig、 Peter.、Bernhaupt、 Regina.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings 0 索取号：作者：Noda、 Itsuki.、Ando、 Noriaki.、Brugali、 Davide.、Kuffner、 James J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings 0 索取号：作者：Aoki、 Toshiaki.、Taguchi、 Kenji.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers 0 索取号：作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Fast Software Encryption [electronic resource] : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers 0 索取号：作者：Canteaut、 Anne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.